#include "kfunc.h"
#include "biscuit.h"
void main ();

__attribute__ ((aligned (16))) char bootstack[0x1000];
__attribute__ ((aligned (16))) char elfbuf[0x800000];

extern char trampoline[]; 
extern char uservec[];
extern char userret[];
extern char KERNED[];
extern char KERNBG[];
extern char INITCODE[];
extern char * kstack[];
extern char * ktrapframe[];

void
start () {
    // ll_testnum ((int)(trampoline));
    // ll_testnum ((int)uservec);
    // ll_testnum ((int)userret);
    // ll_testnum ((int)KERNED);
    // ll_testnum ((int)KERNBG);
    // ll_testnum ((int)INITCODE);
    // ll_testnum ((int)kstack);
    // ll_testnum ((int)ktrapframe);

    // 也许会有一些初始化操作,不过目前不需要写
    printk ("Biscuit-Core is booting...\n");
    main ();
}